extension | φ:Q→Out N | d | ρ | Label | ID |
C32:C9.1S3 = C32:C9.S3 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 18 | 6 | C3^2:C9.1S3 | 486,5 |
C32:C9.2S3 = C32:C9.C6 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 54 | 6 | C3^2:C9.2S3 | 486,10 |
C32:C9.3S3 = C33.(C3xS3) | φ: S3/C1 → S3 ⊆ Out C32:C9 | 54 | 6 | C3^2:C9.3S3 | 486,11 |
C32:C9.4S3 = C32:2D9.C3 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 54 | 6 | C3^2:C9.4S3 | 486,12 |
C32:C9.5S3 = (C3xC9):C18 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 54 | 6 | C3^2:C9.5S3 | 486,20 |
C32:C9.6S3 = C9:S3:3C9 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 54 | 6 | C3^2:C9.6S3 | 486,22 |
C32:C9.7S3 = C33.(C3:S3) | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.7S3 | 486,45 |
C32:C9.8S3 = C3.(C33:S3) | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.8S3 | 486,47 |
C32:C9.9S3 = C3.(He3:S3) | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.9S3 | 486,48 |
C32:C9.10S3 = C32:C9.10S3 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.10S3 | 486,49 |
C32:C9.11S3 = (C3xC9):5D9 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.11S3 | 486,53 |
C32:C9.12S3 = (C3xC9):6D9 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.12S3 | 486,54 |
C32:C9.13S3 = 3- 1+2:D9 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.13S3 | 486,57 |
C32:C9.14S3 = C92:10C6 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.14S3 | 486,154 |
C32:C9.15S3 = C92:4C6 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.15S3 | 486,155 |
C32:C9.16S3 = C92:5C6 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.16S3 | 486,157 |
C32:C9.17S3 = C92:11C6 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 81 | | C3^2:C9.17S3 | 486,158 |
C32:C9.18S3 = C92:6S3 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 18 | 6 | C3^2:C9.18S3 | 486,153 |
C32:C9.19S3 = C92:5S3 | φ: S3/C1 → S3 ⊆ Out C32:C9 | 54 | 6 | C3^2:C9.19S3 | 486,156 |
C32:C9.20S3 = C92:3S3 | φ: S3/C3 → C2 ⊆ Out C32:C9 | 54 | 6 | C3^2:C9.20S3 | 486,139 |
C32:C9.21S3 = C92:3C6 | φ: S3/C3 → C2 ⊆ Out C32:C9 | 81 | | C3^2:C9.21S3 | 486,141 |
C32:C9.22S3 = C92:9C6 | φ: S3/C3 → C2 ⊆ Out C32:C9 | 81 | | C3^2:C9.22S3 | 486,144 |